Some systems (HP Superdome in particular) place ACPI tables in
reserved memory regions, so we have to pass it through to dom0.
Signed-off-by: Alex Williamson <alex.williamson@hp.com>
dom_fw_dom0_passthrough, &arg);
efi_memmap_walk_type(EFI_ACPI_MEMORY_NVS,
dom_fw_dom0_passthrough, &arg);
+ efi_memmap_walk_type(EFI_RESERVED_TYPE,
+ dom_fw_dom0_passthrough, &arg);
efi_memmap_walk_type(EFI_MEMORY_MAPPED_IO,
dom_fw_dom0_passthrough, &arg);
efi_memmap_walk_type(EFI_MEMORY_MAPPED_IO_PORT_SPACE,